El uso de la lógica matemática para la programación de computadoras.